$\forall$${\it es}$:ES, $a$, $b$, $c$, $d$, $e$, $f$:E. $a$ c$\leq$ $b$ $\Rightarrow$ $b$ $\leq$loc $c$  $\Rightarrow$ ($c$ $<$ $d$) $\Rightarrow$ $d$ c$\leq$ $e$ $\Rightarrow$ $e$ c$\leq$ $f$ $\Rightarrow$ ($a$ $<$ $f$)